#include "stdio.h"
#include "sbi.h"

void panic(char *info) {
	puts("kernel panic:\n");
	puts(info);
	putchar('\n');
	shutdown();
}
